complete measure space

完备测度空间